摘要 :
This paper presents PaSe, an extensible and inspectable DSL embedded in Haskell for expressing micro-animations. PaSe builds animations in compositional fashion, using parallel and sequential animations as basic building blocks. T...
展开
This paper presents PaSe, an extensible and inspectable DSL embedded in Haskell for expressing micro-animations. PaSe builds animations in compositional fashion, using parallel and sequential animations as basic building blocks. This differs from typical animation libraries which mostly focus on sequential composition and utilize callbacks and implicit effects for their expressivity. To provide similar flexibility to other animation libraries, PaSe features extensibility of operations and inspectability of animations. We present the features of PaSe with a to-do list application, discuss the PaSe implementation, and argue that the callback style of extensibility is detrimental for correctly integrating inspectability. To illustrate this, we contrast with the GreenSock Animation Platform, a professional-grade and widely used JavaScript animation library.
收起
摘要 :
This paper presents PaSe, an extensible and inspectable DSL embedded in Haskell for expressing micro-animations. PaSe builds animations in compositional fashion, using parallel and sequential animations as basic building blocks. T...
展开
This paper presents PaSe, an extensible and inspectable DSL embedded in Haskell for expressing micro-animations. PaSe builds animations in compositional fashion, using parallel and sequential animations as basic building blocks. This differs from typical animation libraries which mostly focus on sequential composition and utilize callbacks and implicit effects for their expressivity. To provide similar flexibility to other animation libraries, PaSe features extensibility of operations and inspectability of animations. We present the features of PaSe with a to-do list application, discuss the PaSe implementation, and argue that the callback style of extensibility is detrimental for correctly integrating inspectability. To illustrate this, we contrast with the GreenSock Animation Platform, a professional-grade and widely used JavaScript animation library.
收起
摘要 :
Spivey has recently presented a novel functional representation that supports the efficient composition, or merging, of coroutine pipelines for processing streams of data. This representation was inspired by Shivers and Might's th...
展开
Spivey has recently presented a novel functional representation that supports the efficient composition, or merging, of coroutine pipelines for processing streams of data. This representation was inspired by Shivers and Might's three-continuation approach and is shown to be equivalent to a simple yet inefficient executable specification. Unfortunately, neither Shivers and Might's original work nor the equivalence proof sheds much light on the underlying principles allowing the derivation of this efficient representation from its specification. This paper gives the missing insight by reconstructing a systematic derivation in terms of known transformation steps from the simple specification to the efficient representation. This derivation sheds light on the limitations of the representation and on its applicability to other settings. In particular, it has enabled us to obtain a similar representation for pipes featuring two-way communication, similar to the Haskell pipes library. Our benchmarks confirm that this two-way representation retains the same improved performance characteristics.
收起
摘要 :
An industrial valve used in plane Environmental Control systems (ECS) is investiged numerically to determine its passive (effect of the component on the propagation of the acoustic-field) and active (sound generation) acoustic beh...
展开
An industrial valve used in plane Environmental Control systems (ECS) is investiged numerically to determine its passive (effect of the component on the propagation of the acoustic-field) and active (sound generation) acoustic behavior. The valve is first simulated using RANS computations to obtain the correct operating condition corresponding to experiments. The mean flow field is then used in two acoustic solvers (Discontinuous-Galerkin solving Linearized-Euler Equations in time domain and high-order finite element solver in frequency domain) to determine the passive part of the component with and without including flow effects. The unsteady sources are obtained with an unsteady Scale Adaptive Simulation and used in the second acoustic solver to determine the active part. Comparisons are made with experiments and a satisfactory agreement is found for both passive and active parts of the valve.
收起
摘要 :
An industrial valve used in plane Environmental Control systems (ECS) is investiged numerically to determine its passive (effect of the component on the propagation of the acoustic-field) and active (sound generation) acoustic beh...
展开
An industrial valve used in plane Environmental Control systems (ECS) is investiged numerically to determine its passive (effect of the component on the propagation of the acoustic-field) and active (sound generation) acoustic behavior. The valve is first simulated using RANS computations to obtain the correct operating condition corresponding to experiments. The mean flow field is then used in two acoustic solvers (Discontinuous-Galerkin solving Linearized-Euler Equations in time domain and high-order finite element solver in frequency domain) to determine the passive part of the component with and without including flow effects. The unsteady sources are obtained with an unsteady Scale Adaptive Simulation and used in the second acoustic solver to determine the active part. Comparisons are made with experiments and a satisfactory agreement is found for both passive and active parts of the valve.
收起
摘要 :
We investigate the crystallization of amorphous Ge alloy layers on silicon substrates for optical and electronic applications. Amorphous GeSn layers are obtained by limiting the adatom surface mobility during deposition. Subsequen...
展开
We investigate the crystallization of amorphous Ge alloy layers on silicon substrates for optical and electronic applications. Amorphous GeSn layers are obtained by limiting the adatom surface mobility during deposition. Subsequent annealing transforms the amorphous layer into single-crystalline GeSn by solid phase epitaxy. Structural investigation shows excellent structural quality for layers with up to 6.1% Sn. The surface and interface are smooth thanks to the low thermal budget. The GeSn layers show a significant increase in optical absorption with respect to Ge. We demonstrate tensile-strained GeSn p-type pMOSFET devices on Si(111) substrates using solid phase epitaxy of amorphous GeSn layer, with 4.5% Sn and +0.33% tensile strain. Structural investigation showed the presence of twin defects in the GeSn layers after crystallization. In this work we present a method to effectively suppress the formation of twin defects. Furthermore we demonstrate the crystallization of multiple amorphous layers in a 1 step anneal.
收起
摘要 :
Trajectory planning using Mixed Integer Linear Programming (MILP) is a powerful approach because vehicle dynamics and other constraints can be taken into account. However, it is currently severely limited by poor scalability. This...
展开
Trajectory planning using Mixed Integer Linear Programming (MILP) is a powerful approach because vehicle dynamics and other constraints can be taken into account. However, it is currently severely limited by poor scalability. This paper presents a new approach which improves the scalability regarding the amount of obstacles and the distance between the start and goal positions. While previous approaches hit computational limits when the problem contains tens of obstacles, our approach can handle tens of thousands of polygonal obstacles successfully on a typical consumer computer. This performance is achieved by dividing the problem into many smaller MILP subproblems using two sets of heuristics. Each subproblem models a small part of the trajectory. The subproblems are solved in sequence, gradually building the desired trajectory. The first set of heuristics generate each subproblem in a way that minimizes its difficulty, while preserving stability. The second set of heuristics select a limited amount obstacles to be modeled in each subproblem, while preserving consistency. To demonstrate that this approach can scale enough to be useful in real, complex environments, it has been tested on maps of two cities with trajectories spanning over several kilometers.
收起
摘要 :
Trajectory planning using Mixed Integer Linear Programming (MILP) is a powerful approach because vehicle dynamics and other constraints can be taken into account. However, it is currently severely limited by poor scalability. This...
展开
Trajectory planning using Mixed Integer Linear Programming (MILP) is a powerful approach because vehicle dynamics and other constraints can be taken into account. However, it is currently severely limited by poor scalability. This paper presents a new approach which improves the scalability regarding the amount of obstacles and the distance between the start and goal positions. While previous approaches hit computational limits when the problem contains tens of obstacles, our approach can handle tens of thousands of polygonal obstacles successfully on a typical consumer computer. This performance is achieved by dividing the problem into many smaller MILP subproblems using two sets of heuristics. Each subproblem models a small part of the trajectory. The subproblems are solved in sequence, gradually building the desired trajectory. The first set of heuristics generate each subproblem in a way that minimizes its difficulty, while preserving stability. The second set of heuristics select a limited amount obstacles to be modeled in each subproblem, while preserving consistency. To demonstrate that this approach can scale enough to be useful in real, complex environments, it has been tested on maps of two cities with trajectories spanning over several kilometers.
收起
摘要 :
We present a methodology for predicting line-to-line reliability of Air-Gap schemes, which accounts for line-edge roughness and electric field enhancement. Our model is calibrated to the intrinsic reliability properties of the Air...
展开
We present a methodology for predicting line-to-line reliability of Air-Gap schemes, which accounts for line-edge roughness and electric field enhancement. Our model is calibrated to the intrinsic reliability properties of the Air-Gap interface dielectrics, which are characterized by performing time-dependent dielectric breakdown measurements on planar capacitors. We validate our model to experimental TDDB data from Ru/Air-Gap semi-damascene interconnects and predict that deeper Air-Gaps, extending into the bottom interlayer dielectric, can significantly boost the reliability of Air-Gaps schemes.
收起
摘要 :
High-level replacement of clinker by supplementary cementitious materials (SCMs) offers a well-tried solution to reducing CO2 emissions of cement production. To sustain further clinker reductions, new sources and combinations of S...
展开
High-level replacement of clinker by supplementary cementitious materials (SCMs) offers a well-tried solution to reducing CO2 emissions of cement production. To sustain further clinker reductions, new sources and combinations of SCMs will need to step in and their impact on cement hydration will need to be understood as, for instance, in comprehensive hydration models. A key input for cement hydration models, whether based on thermodynamic, microstructural, or simple mass balance principles, are time-dependent data on reaction degrees of all cement constituents. These kinetic data are usually introduced either directly from experiments or from empirical models fitted to experimental data. While reliable reaction degree data are relatively straightforward to obtain for the well-known, crystalline clinker phases in cement, advanced analysis techniques are required to estimate reaction kinetics of amorphous phases, present in most SCMs. Generic kinetic models for SCM reaction are therefore of interest to explore and predict the impact of SCM reactions on the cement hydrate assemblage, and eventually, performance. This contribution proposes a new approach to refine kinetic models for SCM reaction by derivation of model parameters from reactivity screening tests, such as the R3 test, reported in the published literature and case studies. It is discussed how this approach can be used to model reactivity of SCMs and how it can be used and extended to investigate and parameterize kinetic interactions in hydration of SCMs.
收起
原文获取